theorem prover
定理证明程序
热门查询
- wha [医][=warmed,humidified air]温暖、潮湿的空气
- harbour n. 海港（等于harbor）；避难所 vt. 庇护；藏匿；入港停泊 vi. 藏匿；入港停泊；庇护 n. (Harbour)人名；(英)哈伯
- divers adj. 不同种类的，各式各样的 n. (Divers)人名；(英)戴弗斯；(法)迪韦尔
- whirl n. 旋转，回旋；昏乱；一连串的事；短暂的旅行 vt. 使旋转；卷走，飞快地带走 vi. 旋转，回旋；急走；头晕眼花
- Whitchurch n. (Whitchurch)人名；(英)惠特彻奇
- honeybee n. [蜂] 蜜蜂
- acculturate vt. 使适应文化；使适应新的文化习俗 vi. 适应文化；适应新的文化习俗
- ensure vt. 保证，确保；使安全
- Lucien [人名] 卢西恩
- Howden [人名] [苏格兰人姓氏] 豪登住所名称，来源于古英语，含义是“隐匿处+河谷”(nook,recess+valley); [人名] [英格兰人姓氏] 豪登住所名称，来源于古诺斯语，含义是“头，顶，端+河谷”(head+valley); [地名] [英国] 豪登
- singable adj. 可唱的
- unconfirmed adj. 未证实的；未最后认可的；未受坚信礼的
- hippy n. 嬉皮士
- ostensibly adv. 表面上；外表
- selfishness n. 自私自利；自我中心；任性
- providential adj. 幸运的
- pelf n. 钱财；不义之财，赃物
- keystone n. 主旨，基本原则；[建] 楔石
- exultation n. 狂喜；得意（等于exultance，exultancy）
- cinematically adv. 用电影方式；从电影角度看
考试词汇表
- port of reshipment
- port orford cedars
- port radio station
- port research data
- port security boat
- port serial number
- port state control
- port switching hub
- port to port basis
- port(of a network)
- port,terminal pair
- port-switching hub
- porta intestinalis
- portability theory
- portable CD player
- portable amplifier
- portable apparatus
- portable appliance
- portable assembler
- portable autoclave
